Перевод: со всех языков на все языки

со всех языков на все языки

дедуктивная система

См. также в других словарях:

  • Дедуктивная система — это способ задания множества путем указания исходных элементов (аксиом исчисления) и правил вывода, каждое из которых описывает, как строить новые элементы из исходных. Используются различные термины для обозначения понятия дедуктивной системы:… …   Википедия

  • Дедуктивная теория — Синоним теория фокусята Содержание 1 Определение и разновидности 2 Разновидности дедуктивных теорий …   Википедия

  • Система логики силлогистической и индуктивной —         «СИСТЕМА ЛОГИКИ СИЛЛОГИСТИЧЕСКОЙ И ИНДУКТИВНОЙ» («A System of Logic Rationative and Inductive») книга Джона Стюарта Милля. Была опубликована в Лондоне в 1843. В России вышло несколько ее переводов. Данная работа является уникальным… …   Энциклопедия эпистемологии и философии науки

  • ФОРМАЛЬНАЯ СИСТЕМА — дедуктивная система, в математич. логике неинтерпретированное исчисление, задаваемое правилами образования выражений этого исчисления и правилами построения выводов в этом исчислении. Выражения Ф. с. рассматриваются как чисто формальные… …   Математическая энциклопедия

  • Формальная система —         неинтерпретированное Исчисление, класс выражений (формул) которого задаётся обычно индуктивно – посредством задания исходных («элементарных», или «атомарных») формул и правил образования (построения) формул, а подкласс доказуемых формул… …   Большая советская энциклопедия

  • ФОРМАЛЬНАЯ СИСТЕМА — неинтерпретированное исчисление, класс выражений (формул) к рого задается обычно индуктивно – посредством задания исходных ( элементарных , или атомарных ) формул и правил образования (построения) формул, а подкласс доказуемых формул (теорем) –… …   Философская энциклопедия

  • ПОЛНОТА ДЕДУКТИВНАЯ — свойство формальной системы (исчисления), характеризующее достаточность его дедуктивных средств с т. зр. нек рых фиксированных критериев (содержательных или формальных). В зависимости от характера выбранного критерия приходят к той или иной… …   Философская энциклопедия

  • ГИПОТЕТИКО-ДЕДУКТИВНАЯ МОДЕЛЬ —     ГИПОТЕТИКО ДЕДУКТИВНАЯ МОДЕЛЬ (в методологии науки) концепция познавательного процесса в науке и структуры научного знания, исходящая из представления о научном знании как о системе дедуктивно связанных между собой гипотетических утверждений …   Философская энциклопедия

  • гипотетико-дедуктивная модель теории —         ГИПОТЕТИКО ДЕДУКТИВНАЯ МОДЕЛЬ ТЕОРИИ модель научной теории, репрезентирующая ее концептуальную структуру в виде системы взаимосвязанных гипотез и выводимых из них дедуктивных следствий.         Формирование теорий как сложноорганизованных …   Энциклопедия эпистемологии и философии науки

  • Формальная система — (формальная теория, аксиоматическая теория)  результат строгой формализации теории, предполагающей полную абстракцию от смысла слов используемого языка, причем все условия, регулирующие употребление этих слов в теории, явно высказаны… …   Википедия

  • исчисление — ▲ система ↑ вычисление исчисление, дедуктивная система система вычисления; совокупность правил оперирования с к л. символами; математическая модель процесса перехода от посылок к следствию, проводимого по некоторым правилам вывода (матем.… …   Идеографический словарь русского языка

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»